Interval arithmetic - PDFSEARCH.IO - Document Search Engine

Interval arithmetic
Results: 138

#	Item
21	Vincent Lef` evre, Loria / INRIA Lorraine, SPACES project MPFR MPFR – Main Features Add to Reading List Source URL: www.vinc17.org Language: English - Date: 2015-06-18 06:12:50 Computer arithmetic GNU MPFR GNU Multiple Precision Arithmetic Library Rounding Extended precision Floating point Double-precision floating-point format Interval arithmetic Exponentiation
22	C:/rump/Publikationen/Rump_Veroeff/Affine/revised/AffineRevised.dvi Add to Reading List Source URL: www.ti3.tu-harburg.de Language: English - Date: 2015-06-05 02:24:31 Numerical analysis Limit of a function Affine arithmetic Taylor series Interval arithmetic Error function Affine connection Approximation theory
23	Static Analysis of Finite Precision Computations Eric Goubault and Sylvie Putot CEA LIST, Laboratory for the Modelling and Analysis of Interacting Systems, Point courrier 94, Gif-sur-Yvette, FFrance, Firstname.Las Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2010-11-15 04:17:50 Computer arithmetic Abstract interpretation Interval arithmetic Rounding Floating point Affine arithmetic Interval Function Limit of a function NaN Fixed-point arithmetic Machine epsilon
24	Static Analysis of the Accuracy in Control Systems : Principles and Experiments Eric Goubault1 , Sylvie Putot1 , Philippe Baufreton2 , and Jean Gassino3 1 CEA/LISTGif-sur-Yvette, {eric.goubault,sylvie.putot}@cea. Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:26 Computer arithmetic Abstract interpretation Floating point Interval arithmetic Fluctuat Rounding Infinite loop Affine arithmetic Lookup table Recursion Division algorithm Fixed-point arithmetic
25	Towards an industrial use of FLUCTUAT on safety-critical avionics software? David Delmas1 , Eric Goubault2 , Sylvie Putot2 , Jean Souyris1 , Karim Tekkal2 , and Franck V´edrine2 1 Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2009-11-24 06:44:27 Computer arithmetic Floating point Fluctuat Abstract interpretation Rounding Interval arithmetic Loss of significance NaN Common logarithm Lookup table Affine arithmetic Signed zero
26	JInterval Library: Principles, Development, and Perspectives Dmitry Nadezhin1 and Sergei Zhilin2 1 2 Add to Reading List Source URL: conf.nsc.ru Language: English - Date: 2012-05-21 07:17:49 Computer arithmetic Arithmetic Numerical analysis Interval arithmetic Cross-platform software Interval Rounding Java Type-2 fuzzy sets and systems Affine arithmetic
27	Vitae for Nathalie Revol Nathalie REVOL Research scientist at INRIA Birth date: children (born in 2005 andCitizenship: french Add to Reading List Source URL: perso.ens-lyon.fr Language: English - Date: 2014-04-08 03:25:46 Mathematics Computer arithmetic Mathematical analysis Computing Numerical analysis Binary arithmetic Affine arithmetic Affine geometry Interval arithmetic Interval Arbitrary-precision arithmetic Precision
28	13 Letters to the IEEE Computer Arithmetic Standards Revision Group Ulrich Kulisch ¨r Angewandte und Numerische Mathematik Institut fu ¨t Karlsruhe Add to Reading List Source URL: grouper.ieee.org Language: English - Date: 2008-11-30 10:46:54 Computer arithmetic Computing Arithmetic Computer architecture Rounding IEEE floating point Karlsruhe Accurate Arithmetic IEEE 754 revision Interval arithmetic Quadruple-precision floating-point format Precision Division algorithm
29	The design of the Boost interval arithmetic library ? Herv´e Br¨onnimann a,1 Guillaume Melquiond b,2 Sylvain Pion c,3 a CIS, b Ecole ´ Add to Reading List Source URL: www.lri.fr Language: English - Date: 2009-04-03 13:56:10 Mathematics Computer arithmetic Arithmetic Numerical analysis Functions and mappings Interval arithmetic Interval Rounding Integral GNU MPFR Mode Function
30	C:/Dokumente und Einstellungen/ulrich/Desktop/IEEE/ARITHYY.dvi Add to Reading List Source URL: grouper.ieee.org Language: English - Date: 2008-11-17 09:30:03 Mathematics Computer arithmetic Arithmetic Interval arithmetic Numerical analysis Interval Addition SSE3